/**
 * @author Nicolas Lusa (lusan@usi.ch)
 */
package ch.usi.inf.pf2.gui;

public interface SelectionListener {

    public void selectionChanged();
    
}

